$\forall$$q$:$\mathbb{Q}$. 0 $\leq$ $q$ $\ast$ $q$